首页> 外文OA文献 >The PCKS-Machine: an Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations

【2h】

The PCKS-Machine: an Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations

机译：PCKS-Machine：具有一流连续性的并行功能程序声音评估的抽象机

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A PARALLEL FUNCTIONAL LANGUAGE WITH FIRST-CLASS CONTINUATIONS. PROGRAMMING STYLE AND SEMANTICS [J] . Luc MOREAU Computers and Artificial Intelligence . 1995,第2期

机译：具有一流延续性的并行功能语言。编程风格和语义
2. A parallel virtual machine for programs composed of abstract data types [J] . Welch L.R. IEEE Transactions on Computers . 1994,第11期

机译：用于由抽象数据类型组成的程序的并行虚拟机
3. A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions [J] . Brigitte Pientka ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2008,第1期

机译：使用高阶抽象语法和一流替换进行编程的类型理论基础
4. A simple abstract machine for functional first-class continuations [C] . 10th International Symposium on Communications and Information Technologies . 2010

机译：一个简单的抽象机，用于功能一流的延续
5. Parallel virtual machine for functional logic programming. [D] . Alqaddoumi, Abdulla. 2016

机译：用于功能逻辑编程的并行虚拟机。
6. Molecular dynamics simulation on a network of workstations using a machine-independent parallel programming language. [O] . M. A. Shifman, A. Windemuth, K. Schulten, 1991

机译：使用与机器无关的并行编程语言在工作站网络上进行分子动力学模拟。
7. The PCKS-machine. an abstract machine for sound evaluation of parallel functional programs with first-class continuations [O] . Luc Moreau 1994

机译：PCKS机器。一台用于对具有一流延续性的并行功能程序进行声音评估的抽象机
8. Programming Language Supporting First-Class Parallel Environments [R] . Jagannathan, S. 1989

机译：编程语言支持一流的并行环境

The PCKS-Machine: an Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations

著录项

引文网络

相似文献

相关主题

期刊订阅